误差控制的极限 莱布尼茨交错级数审敛法

交错调和级数：
$$ S = \sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n} = \ln 2 \approx 0.693 $$
前 $n$ 项部分和 $S_n$ 1.000
误差界限定理：
$$ |R_n| = |S - S_n| \le b_{n+1} $$
交错级数的部分和会在真实值上下不断振荡，且振荡幅度越来越小。最令人惊叹的是：当我们截断在第 $n$ 项时，产生的误差绝对不会超过被舍弃的第 $n+1$ 项的绝对值。

钟摆式收敛 红线为部分和，绿区为误差带

真实值 $S = \ln 2$ 被死死锁定在浅绿色带状区域内。

黎曼重排定理 条件收敛的魔法

打破原来的交错顺序：
$$ 1 - \frac{1}{2} + \frac{1}{3} - \frac{1}{4} + \frac{1}{5} \dots $$
当前累加总和 $S_k$ 0.000
条件收敛（绝对不收敛）的级数有一个恐怖的特性：只要改变各项相加的先后顺序，你可以让它等于任何你想要的实数，甚至让它发散。
重排策略： 如果当前和小于目标值，就一直加正项直到超过目标；一旦超过，就一直减负项直到低于目标。如此反复。

重排拼凑轨迹 正项推高，负项拉低

红柱代表加正项，蓝柱代表减负项。绿色虚线为设定的目标值。
交错级数核心法则
符号翻转带来的收敛奇迹与排列重组的深渊

交错级数形态

正负相间
$$ \sum_{n=1}^{\infty} (-1)^{n-1} b_n \quad (b_n > 0) $$
相邻两项符号必然相反。这种相互抵消的机制，使得它比全是正项的级数更容易收敛。

莱布尼茨判别法

收敛双条件
$$ b_{n+1} \le b_n \text{ 且 } \lim_{n \to \infty} b_n = 0 $$
只要满足：绝对值单调递减，并且最终通项趋于零，那么这个交错级数就必定收敛。

误差截断定理

余项界限
$$ |S - S_n| \le b_{n+1} $$
用前 n 项和来估算总和，其误差绝对不会超过被舍弃的第一项的值。这是工程近似计算中的黄金法则。

绝对收敛 (Absolute Convergence)

最强收敛
$$ \sum |a_n| \text{ 收敛} \implies \sum a_n \text{ 必收敛} $$
如果给所有项都套上绝对值强制变正后，它依然收敛，那就是绝对收敛。这种级数极其稳定，怎么交换加法顺序结果都不变。

条件收敛 (Conditional Convergence)

脆弱的平衡
$$ \sum a_n \text{ 收敛，但 } \sum |a_n| \text{ 发散} $$
它能收敛纯粹是因为正负号在互相抵消（例如交错调和级数）。一旦全部换成正号，平衡打破，立马发散。

正项子序列与负项子序列

各自发散
$$ \sum p_n = +\infty, \quad \sum n_n = -\infty $$
对于条件收敛级数，如果只挑出所有的正项相加，结果是无穷大；只挑负项相加，结果是负无穷大。它们拥有无限的“弹药”。

黎曼重排定理 (Riemann's Rearrangement)

加法交换律崩塌
$$ \text{可以重排使得 } S = M \text{ (任意实数)} $$
只要级数是条件收敛的，通过改变各项出场的先后顺序，你可以让它的总和收敛到你在实数轴上指定的任何一个数字。

数学意义上的警示

有限的特权
$$ \infty \text{ 不是简单的非常大的数} $$
黎曼重排定理生动地告诉我们，有限个数字适用的加法交换律和结合律，在无穷的世界里是不绝对成立的，必须严格遵循收敛的等级。